| 1) |
| Department: |
Information Technology |
| Author(s): |
Gitosree Khan, Sabnam Sengupta, Anirban Sarkar |
| Publication Title: |
Formal Modeling of Enterprise Cloud Bus System: A High Level Petri-Net Based Approach |
| Published By: |
Requirements Engineering for Service and Cloud Computing. Springer, Cham (Book chapter) |
| ISBN No: |
ISBN: 978-3-319-51310-2 |
| Date: |
Apr-17 |
|